$\forall$$a$, $b$, $c$, $d$:$\mathbb{Q}$. ($\neg$($c$ = 0 $\in$ $\mathbb{Q}$)) $\Rightarrow$ ($\neg$($d$ = 0 $\in$ $\mathbb{Q}$)) $\Rightarrow$ ((($a$/$c$) $\ast$ ($b$/$d$)) = ($a$ $\ast$ $b$/$c$ $\ast$ $d$) $\in$ $\mathbb{Q}$)